Heighway Dragon Curve: 從摺紙到摺函數!| Funth#108

▶︎主題：Heighway Dragon Curve: 從摺紙到摺函數！

透過反覆折疊一條紙帶，紙帶上的摺痕會產生越來越複雜的圖樣，而當這樣的步驟無限重複時，便會形成被稱為「龍形曲線」（Heighway dragon curve）的美麗碎形曲線。我們將介紹龍形曲線由紙帶折疊所衍生出的兩種構造方式，以及如何運用函數式程式設計形式化並推廣龍形曲線。最終，我們將揭示這兩種構造方式如何能被更高階的 fold 函數加以描述，並透過 foldr 與 foldl 之間的對偶性建立兩種構造方式的等價證明。

▶︎分享者：張庭梧
前電機系學生，喜歡用程式製作一些奇妙的圖像或動畫。
------------------------------------
地點：g0v 台北社群空間

地址: 台北市中正區重慶南路三段2號2樓202室
https://maps.app.goo.gl/38w8sEgCXoYG4WdXA


------------------------------------

歡迎加入 Functional Thursday 臉書社團 https://www.facebook.com/groups/functioanl.thursday